The Concept and Provenance of Unnamed, Indistinguishable Types
نویسندگان
چکیده
Unnamed, indistinguishable types (UITs) are a useful feature in a constraint specification language since they enable the specification of problems at a higher level of abstraction. There is, however, some debate as to the concept of UITs and their provenance. This note is intended to clarify this matter. Specifically, it describes UITs, shows that they originated in our work [1] on Essence, and shows that a related mechanism in ESRA is not as powerful.
منابع مشابه
Toward Provenance Capturing as Cross-Cutting Concern
Although provenance gained much attention, solutions to capture provenance do not meet all the requirements. For instance, most solution currently assume a closed world and are explicitly designed to capture provenance. Thus, they fail in integrating the provenance concern into existing environments. Hence, we argue that provenance should be considered as cross-cutting concern that can easily b...
متن کاملProvenance, Tectonic Setting & Geochemical Maturity of The Early Miocene Pyawbwe Formation, Sakangyi –Thayet Area, Magway Region, Myanmar.
Abstract The best exposed Early Miocene (820 m. thick. ) shales and interbedded silty sandstones beds of the Pyawbwe Formation at Sakangyi- Thayat area,Magway Region are investigated geochemically by using Siemens SRS- X Ray 303 AS XRF Spectrometer. Major and some trace element concentrations have been determined to achieve their provenance, tectonic setting ,paleoweathering , paleoclimate and ...
متن کاملFluvial Facies and Provenance of the Early Permian Warchha Sandstone Salt Range, Pakistan
Deposits of the Warchha Sandstone in the Salt Range, Pakistan are characterised by a range of fluvial facies and architectural elements that together preserve a record of both the proximal and distal parts of a meandering river system that drained the northern margin of Gondwanaland. Several fining-upward cycles are recognised and completely preserved cycles can be divided in to three parts; a ...
متن کاملUse of feldspar grains in provenance determination and the study of transportation and depositional history, examples from central and NW Iran
Feldspar grains, as a significant provenance indicator, of two terrigenous formations from Central Iran, the Upper Red Formation, and Moghan area, Zivah Formation, are used for provenance determination and the study of transportation and depositional history. The Upper Red Formation (URF) is volumetrically the most important siliciclastic unit of the Central Iran and Zivah Formation (ZF) repres...
متن کاملRecording Actor Provenance Data in Scientific Workflows
The concept of “actor” provenance data – essentially data that a client or service actor may assert about itself regarding an interaction, is presented. Actor provenance data can be combined with assertions of interaction to enable better reasoning within a provenance system. The need for recording and maintaining actor provenance data is discussed, along with the description of an architecture...
متن کامل